Alire: a library repository manager for the open source Ada ecosystem

Open source movements are main players in today''s software landscape. Communities spring around programming languages, providing compilers, tooling and, chiefly, libraries built with these languages. Once a community reaches a certain critical mass, management of available libraries becomes a point of contention. Operating system providers and distributions often support but the most significant or mature libraries so, usually, language communities develop their own cross-platform software management tools. Examples abound with languages such as Python, OCaml, Rust, Haskell and others. The Ada community has been an exception to date, perhaps due to its smaller open source community. This work presents a working prototype tailored to the Ada compiler available to open source enthusiasts, GNAT. This tool is designedfrom two main principles: zero-cost infrastructure and a pure Ada work environment. Initially available for Linux-based systems, it relies on the semantic versioning paradigm for dependency resolution and uses Ada specification files to describe project releases and dependencies

Reactive programming in Ada 2012 with RxAda

The ReactiveX API, also known as the Reactive Extensions in the. NET world, is a popular functional reactive programming framework for asynchronous, event-based, multithreaded programming. Although Ada built-in tasking reduces the dire needs for additional multithreading support of some other languages, the reactive approach has properties that are well-suited to the safety and maintainability culture predominant in the Ada world, such as complexity reduction, well-defined concurrency semantics, and enhanced legibility by means of concise and explicit information flows appealing to imperative reasoning. This work presents the design of a ReactiveX Ada implementation that aims to balance desirable library properties such as compile-time type-safety, amount of user-required generic instantiations, and a smooth learning curve for both library clients and maintainers. Concurrency design aspects of the library are detailed, showing how the Flat_Map and Thread abstractions have been implemented following Ada programming expectations, in particular with regard to task termination. In the intervening time from its first presentation, the library has gained implemented operators to the point of having all fundamental building blocks available. With RxAda, the Ada programmer can henceforth benefit from the abundant documentation existing for the language-agnostic ReactiveX approach without stepping out of the Ada tool chain

Estudio e integración de Sistemas de Combate Autónomos en unidades de Infantería

El avance de la tecnología ha provocado grandes cambios en la forma de combatir de los ejércitos, provocando que los ejércitos que mejor se supieran adaptar a ellos dominaran al resto. Actualmente, el auge de la inteligencia artificial y los avances en robótica han dado lugar a los Sistemas de Armas Autónomos (AWS). Este avance implica un posible nuevo cambio en la forma de combatir, por lo que es justificada la necesidad de estudiarlos y buscar una integración en el Ejército.En este trabajo se ha realizado un análisis de la tecnología que compone a los AWS para entender su funcionamiento y limitaciones, y también el marco legal y su origen, los debates internacionales sobre su uso, para esclarecer a lo que se pueden llegar a convertir estos sistemas. Finalmente se ha realizado un estudio general del arma de Infantería y de diferentes modelos que pueden ser integrados en las unidades para, a través de un análisis DAFO llegar al resultado del sistema más adecuado.De este estudio se concluye que las limitaciones tecnológicas y legales actuales provocan la necesidad de contar con operadores humanos, no alcanzándose el grado de autonomía total. Finalmente, para las unidades de Infantería ligeras el sistema más adecuado ha sido el modelo THeMIS y para las mecanizadas y acorazadas el Type-X Combat. Ambos son de la empresa Milrem Robotics y se han considerado los más adecuados tras el estudio de las debilidades y fortalezas de cada unidad.<br /

Visual Navigation from an Augmented Reality Headset

[Resumen] Este trabajo presenta un prototipo de sistema de monitorización remoto que aúna una plataforma móvil con cámara remota y unas gafas de realidad virtual. El sistema implementa un bucle de percepción-acción gracias a los sensores de posición de las gafas VR, por un lado para ofrecer una imagen correctamente posicionada al usuario, y por el otro para controlar el dispositivo remoto (en este caso un pan-tilt) hacia el punto de visión del usuario. El sistema se ha desarrollado mediante las librerías de software libre para realidad virtual (OSVR) y robótica (ROS), lo cual hace que esta prueba de concepto sea fácil de utilizar o replicar e integrar en otros proyectos[Abstract] This work presents a prototype for remote surveillance or monitoring. It joins a mobile platform equipped with a camera and a virtual reality headset to display and control the monitoring. The system consists of a action-perception loop, which thanks to the sensors on the headset achieves two main goals: 1) displays a immersive view of the remote camera view to the user, 2) allows the user to control the remote camera (in the case of our prototype through a pan-tilt) to point to the direction that the user head-motion indicates. The system has been developed integrated with open-source libraries for VR headsets (OSVR) and Robotics (ROS), which makes this proof of concept easy to replicate and integrate in other works.Ministerio de Economía y Competitividad; DPI2015-69376-RUniversidad de Zaragoza; UZCUD2017-TEC-06Gobierno de Aragón; Grupo DGA T45 17